Borzoo, B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Data Disclosure Under Perfect Sample Privacy

Rassouli, Borzoo, Rosas, Fernando E., Gunduz, Deniz

Journal:

IEEE Transactions on Information Forensics and Security

Year:

2020

Language:

english

File:

PDF, 1.02 MB

english, 2020

2

ZnS/Al2S3 Layer as a Blocking Layer in Quantum Dot Sensitized Solar Cells

Vafapoor, Borzoo, Fathi, Davood, Eskandari, Mehdi

Journal:

Journal of Electronic Materials

Year:

2018

Language:

english

File:

PDF, 916 KB

english, 2018

3

Model-based implementation of distributed systems with priorities

Borzoo Bonakdarpour,Marius Bozga,Jean Quilbeuf

Journal:

Design Automation for Embedded Systems

Year:

2013

Language:

english

File:

PDF, 1.01 MB

english, 2013

4

An Upper Bound for the Capacity of Amplitude-Constrained Scalar AWGN Channel

Rassouli, Borzoo, Clerckx, Bruno

Journal:

IEEE Communications Letters

Year:

2016

Language:

english

File:

PDF, 285 KB

english, 2016

5

[ACM Press the 10th ACM/IEEE International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '19 - Managing the security-energy tradeoff in distributed cyber-physical systems

Vu, Anh-Duy, Medhat, Ramy, Bonakdarpour, Borzoo

Year:

2019

Language:

english

File:

PDF, 2.53 MB

english, 2019

6

Potential of modified Mediterranean diet to improve quality of life and fatigue severity in multiple sclerosis patients: a single-center randomized controlled trial

Moravejolahkami, Amir Reza, Paknahad, Zamzam, Chitsaz, Ahmad, Hojjati Kermani, Mohammad Ali, Borzoo-Isfahani, Mohammad

Journal:

International Journal of Food Properties

Year:

2020

File:

PDF, 1.01 MB

2020

7

Detection of enantiomers in dissymmetric biaryls with chiral shift reagents

Basil A. Behnam, D.Muriel Hall, Borzoo Modarai

Journal:

Tetrahedron Letters

Year:

1979

Language:

english

File:

PDF, 110 KB

english, 1979

8

Symbolic synthesis of masking fault-tolerant distributed programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad

Journal:

Distributed Computing

Year:

2012

Language:

english

File:

PDF, 718 KB

english, 2012

9

Sex differences in the cannabinoid regulation of energy homeostasis

Borzoo Farhang, Shanna Diaz, Stephanie L. Tang, Edward J. Wagner

Journal:

Psychoneuroendocrinology

Year:

2009

Language:

english

File:

PDF, 895 KB

english, 2009

10

Aberrant Subclavian Artery: Presentation and Outcomes

Borzoo Farhang, Nitin Garg, William M. Stone, Joseph J. Ricotta, Thomas C. Bower

Journal:

Journal of Vascular Surgery

Year:

2011

Language:

english

File:

PDF, 123 KB

english, 2011

11

The role of the NOP receptor in regulating food intake, meal pattern, and the excitability of proopiomelanocortin neurons

Borzoo Farhang, Lindsay Pietruszewski, Kabirullah Lutfy, Edward J. Wagner

Journal:

Neuropharmacology

Year:

2010

Language:

english

File:

PDF, 1.26 MB

english, 2010

12

A functional myeloperoxidase polymorphic variant is associated with coronary artery disease in French-Canadians

Borzoo Nikpoor, Gustavo Turecki, Caroline Fournier, Pierre Théroux, Guy A. Rouleau

Journal:

American Heart Journal

Year:

2001

Language:

english

File:

PDF, 76 KB

english, 2001

13

A Variant in XPNPEP2 Is Associated with Angioedema Induced by Angiotensin I–Converting Enzyme Inhibitors

Qing Ling Duan, Borzoo Nikpoor, Marie-Pierre Dubé, Giuseppe Molinaro, Inge A. Meijer, Patrick Dion, Daniel Rochefort, Judith Saint-Onge, Leah Flury, Nancy J. Brown, James V. Gainer, Jean L. Rouleau, A

Journal:

The American Journal of Human Genetics

Year:

2005

Language:

english

File:

PDF, 892 KB

english, 2005

14

A framework for automated distributed implementation of component-based models

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis

Journal:

Distributed Computing

Year:

2012

Language:

english

File:

PDF, 2.05 MB

english, 2012

15

Time-triggered runtime verification

Bonakdarpour, Borzoo, Navabpour, Samaneh, Fischmeister, Sebastian

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.72 MB

english, 2013

16

P895 The frequency of folic acid consumption and its awareness among women in preconceptional and pregnancy period in postnatal ward, Alzahra hospital, Rasht, 2008

Asgharnia, M., Mirblook, F., Roshan, Z. Atrkar, Borzoo, B.

Journal:

International Journal of Gynecology & Obstetrics

Year:

2009

Language:

english

File:

PDF, 63 KB

english, 2009

17

[IEEE 2012 19th International Conference on Telecommunications (ICT) - Jounieh, Lebanon (2012.04.23-2012.04.25)] 2012 19th International Conference on Telecommunications (ICT) - Spectrum sensing with energy detection under fast and slow multipath fading

Rassouli, Borzoo, Olfat, Ali

Year:

2012

Language:

english

File:

PDF, 299 KB

english, 2012

18

Workshop on the Use of Serious Games in the Education of Engineers

Hauge, Jannicke Baalsrud, Pourabdollahian, Borzoo, Riedel, Johann C.K.H.

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 149 KB

english, 2012

19

Serious Games in Manufacturing Education: Evaluation of Learners’ Engagement

Pourabdollahian, Borzoo, Taisch, Marco, Kerga, Endris

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 1.48 MB

english, 2012

20

[IEEE 2012 IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012) - Seoul, Korea (South) (2012.08.19-2012.08.22)] 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Time-Triggered Program Self-Monitoring

Bonakdarpour, Borzoo, Thomas, Johnson J., Fischmeister, Sebastian

Year:

2012

Language:

english

File:

PDF, 255 KB

english, 2012

21

Challenges in transformation of existing real-time embedded systems to cyber-physical systems

Bonakdarpour, Borzoo

Journal:

ACM SIGBED Review

Year:

2008

Language:

english

File:

PDF, 60 KB

english, 2008

22

Insertion of fluoro olefins into carbon-hydrogen bonds to yield 1:1 adducts and dehydrofluorination of the adducts

Modarai, Borzoo.

Journal:

Journal of Organic Chemistry

Year:

1976

Language:

english

File:

PDF, 576 KB

english, 1976

23

.alpha.-Halogenation of certain ketones

Modarai, Borzoo, Khoshdel, Ezatollah

Journal:

Journal of Organic Chemistry

Year:

1977

Language:

english

File:

PDF, 780 KB

english, 1977

24

Corrigenda

Solan, D., Timms, P. L., Montanari, F., Moretti, I., Torre, G., Hargreaves, Michael K., Modari, Borzoo, Tamao, K., Ishikawa, M., Kumada, M.

Journal:

Journal of the Chemical Society D Chemical Communications

Year:

1969

Language:

english

File:

PDF, 75 KB

english, 1969

25

[IEEE 2013 IEEE International Symposium on Parallel & Distributed Processing (IPDPS) - Cambridge, MA, USA (2013.05.20-2013.05.24)] 2013 IEEE 27th International Symposium on Parallel and Distributed Processing - GPU-based Runtime Verification

Berkovich, Shay, Bonakdarpour, Borzoo, Fischmeister, Sebastian

Year:

2013

File:

PDF, 1.28 MB

2013

26

[IEEE 2014 IEEE International Parallel & Distributed Processing Symposium (IPDPS) - Phoenix, AZ, USA (2014.5.19-2014.5.23)] 2014 IEEE 28th International Parallel and Distributed Processing Symposium - Power-Efficient Multiple Producer-Consumer

Medhat, Ramy, Bonakdarpour, Borzoo, Fischmeister, Sebastian

Year:

2014

Language:

english

File:

PDF, 796 KB

english, 2014

27

An optically active haloform: (+)-bromochlorofluoromethane

Hargreaves, Michael K., Modarai, Borzoo

Journal:

Journal of the Chemical Society D Chemical Communications

Year:

1969

Language:

english

File:

PDF, 86 KB

english, 1969

28

[IEEE 2013 IEEE 32nd International Symposium on Reliable Distributed Systems (SRDS) - Braga, Portugal (2013.09.30-2013.10.3)] 2013 IEEE 32nd International Symposium on Reliable Distributed Systems - Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking

Fallahi, Narges, Bonakdarpour, Borzoo, Tixeuil, Sebastien

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013

29

[IEEE Distributed Processing Symposium (IPDPS) - Anchorage, AK, USA (2011.05.16-2011.05.20)] 2011 IEEE International Parallel & Distributed Processing Symposium - Snap-Stabilizing Committee Coordination

Bonakdarpour, Borzoo, Devismes, Stephane, Petit, Franck

Year:

2011

Language:

english

File:

PDF, 598 KB

english, 2011

30

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems

Medhat, Ramy, Kumar, Deepak, Bonakdarpour, Borzoo, Fischmeister, Sebastian

Year:

2014

Language:

english

File:

PDF, 2.44 MB

english, 2014

31

[IEEE 2011 IEEE 30th International Symposium on Reliable Distributed Systems (SRDS) - Madrid, Spain (2011.10.4-2011.10.7)] 2011 IEEE 30th International Symposium on Reliable Distributed Systems - A Theory of Fault Recovery for Component-Based Models

Bonakdarpour, Borzoo, Bozga, Marius, Goessler, Gregor

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

32

[IEEE 2012 19th International Conference on Telecommunications (ICT) - Jounieh, Lebanon (2012.04.23-2012.04.25)] 2012 19th International Conference on Telecommunications (ICT) - Periodic spectrum sensing parameters optimization in cognitive radio networks

Rassouli, Borzoo, Olfat, Ali

Year:

2012

Language:

english

File:

PDF, 309 KB

english, 2012

33

Electromagnetic Casimir effect and the spacetime index of refraction

Nazari, Borzoo, Nouri-Zonoz, M.

Journal:

Physical Review D

Year:

2012

Language:

english

File:

PDF, 135 KB

english, 2012

34

Acute adverse reactions associated with angiotensin-converting enzyme inhibitors: genetic factors and therapeutic implications

Nikpoor, Borzoo, Duan, Qing Ling, Rouleau, Guy A

Journal:

Expert Opinion on Pharmacotherapy

Year:

2005

Language:

english

File:

PDF, 143 KB

english, 2005

35

Synthesizing bounded-time 2-phase fault recovery

Bonakdarpour, Borzoo, Kulkarni, Sandeep S.

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 554 KB

english, 2015

36

A New Proof for the DoF Region of the MIMO Networks With No CSIT

Rassouli, Borzoo, Hao, Chenxi, Clerckx, Bruno

Journal:

IEEE Communications Letters

Year:

2015

Language:

english

File:

PDF, 118 KB

english, 2015

37

[Lecture Notes in Computer Science] Runtime Verification Volume 8734 || Faster Statistical Model Checking by Means of Abstraction and Learning

Bonakdarpour, Borzoo, Smolka, Scott A.

Year:

2014

Language:

english

File:

PDF, 425 KB

english, 2014

38

The complexity of automated addition of fault-tolerance without explicit legitimate states

Abujarad, Fuad, Lin, Yiyan, Bonakdarpour, Borzoo, Kulkarni, Sandeep S.

Journal:

Distributed Computing

Year:

2015

Language:

english

File:

PDF, 499 KB

english, 2015

39

Runtime verification with minimal intrusion through parallelism

Berkovich, Shay, Bonakdarpour, Borzoo, Fischmeister, Sebastian

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 1008 KB

english, 2015

40

Complexity results in revising UNITY programs

Bonakdarpour, Borzoo, Ebnenasir, Ali, Kulkarni, Sandeep S.

Journal:

ACM Transactions on Autonomous and Adaptive Systems

Year:

2009

Language:

english

File:

PDF, 308 KB

english, 2009

41

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - RiTHM: a tool for enabling time-triggered runtime verification for C programs

Navabpour, Samaneh, Joshi, Yogi, Wu, Wallace, Berkovich, Shay, Medhat, Ramy, Bonakdarpour, Borzoo, Fischmeister, Sebastian

Year:

2013

Language:

english

File:

PDF, 1.21 MB

english, 2013

42

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - Software debugging and testing using the abstract diagnosis theory

Navabpour, Samaneh, Bonakdarpour, Borzoo, Fischmeister, Sebastian

Year:

2011

Language:

english

File:

PDF, 432 KB

english, 2011

43

[ACM Press the tenth ACM international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 - Runtime verification of real-time embedded systems

Bonakdarpour, Borzoo, Fischmeister, Sebastian

Year:

2012

Language:

english

File:

PDF, 392 KB

english, 2012

44

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Automated addition of fault recovery to cyber-physical component-based models

Bonakdarpour, Borzoo, Lin, Yiyan, Kulkarni, Sandeep

Year:

2011

Language:

english

File:

PDF, 451 KB

english, 2011

45

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Automated distributed implementation of component-based models with priorities

Bonakdarpour, Borzoo, Bozga, Marius, Quilbeuf, Jean

Year:

2011

Language:

english

File:

PDF, 489 KB

english, 2011

46

Prevalence of metabolic syndrome in adult population in Shiraz, southern Iran

Tabatabaie, Amir Hossein, Shafiekhani, Mojtaba, Nasihatkon, Ali Asghar, Rastani, Iman Hafizi, Tabatabaie, Mojgan, Borzoo, Ali Reza, Hojat, Fatemeh

Journal:

Diabetes & Metabolic Syndrome: Clinical Research & Reviews

Year:

2015

Language:

english

File:

PDF, 346 KB

english, 2015

47

[ACM Press the tenth ACM international conference - Scottsdale, Arizona, USA (2010.10.24-2010.10.29)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '10 - From high-level component-based models to distributed implementations

Bonakdarpour, Borzoo, Bozga, Marius, Jaber, Mohamad, Quilbeuf, Jean, Sifakis, Joseph

Year:

2010

Language:

english

File:

PDF, 489 KB

english, 2010

48

[IEEE 2015 IEEE 35th International Conference on Distributed Computing Systems (ICDCS) - Columbus, OH, USA (2015.6.29-2015.7.2)] 2015 IEEE 35th International Conference on Distributed Computing Systems - Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints

Aflaki, Saba, Faghih, Fathiyeh, Bonakdarpour, Borzoo

Year:

2015

Language:

english

File:

PDF, 353 KB

english, 2015

49

[IEEE 2015 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Hyderabad, India (2015.5.25-2015.5.29)] 2015 IEEE International Parallel and Distributed Processing Symposium - Decentralized Runtime Verification of LTL Specifications in Distributed Systems

Mostafa, Menna, Bonakdarpour, Borzoo

Year:

2015

Language:

english

File:

PDF, 318 KB

english, 2015

50

Thermal corrections to the Casimir energy in a general weak gravitational field

Journal:

Modern Physics Letters A

Year:

2015

Language:

english

File:

PDF, 226 KB

english, 2015